Digital Library
Search: "[ keyword: Software Testing ]" (6)
A Test Case Generation Techniques Based on J2ME Platform
Sang Il Kim , Myong Ki Roh , Sung Yul Rhew The KIPS Transactions:PartD,
Vol. 13, No. 2, pp. 215-222,
Apr.
2006
10.3745/KIPSTD.2006.13.2.215
10.3745/KIPSTD.2006.13.2.215
Program Slicing in the Presence of Complicated Data Structure
Lyu Ho Yeon , Park Jung Yang , Park Jae Heung The KIPS Transactions:PartD,
Vol. 10, No. 6, pp. 999-1010,
Oct.
2003
10.3745/KIPSTD.2003.10.6.999
10.3745/KIPSTD.2003.10.6.999
MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs
Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae KIPS Transactions on Software and Data Engineering,
Vol. 10, No. 4, pp. 115-124,
Apr.
2021
https://doi.org/10.3745/KTSDE.2021.10.4.115
Keywords: Mutant Generation, Mutation Analysis, Function Block Diagram, Software Testing
https://doi.org/10.3745/KTSDE.2021.10.4.115
Keywords: Mutant Generation, Mutation Analysis, Function Block Diagram, Software Testing
CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software
Hyerin Leem, Hansol Choe, Hyorim Kim, Shin Hong KIPS Transactions on Software and Data Engineering,
Vol. 9, No. 8, pp. 229-234,
Aug.
2020
https://doi.org/10.3745/KTSDE.2020.9.8.229
Keywords: Concolic Testing, Test Generation, Embedded Software Testing, Symbolic Execution, Automated Testing
https://doi.org/10.3745/KTSDE.2020.9.8.229
Keywords: Concolic Testing, Test Generation, Embedded Software Testing, Symbolic Execution, Automated Testing
A Method of Test Case Generation Using BPMN-Based Path Search
JeJun Park, DongSu Kang KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 3, pp. 125-134,
Mar.
2017
10.3745/KTSDE.2017.6.3.125
Keywords: Software Testing, Generating Test Case
10.3745/KTSDE.2017.6.3.125
Keywords: Software Testing, Generating Test Case
Derivation of State Transition Diagram from Class Using Tree Staructure
Soo Kyung Choi , Young Bom Park KIPS Transactions on Software and Data Engineering,
Vol. 2, No. 1, pp. 19-26,
Jan.
2013
10.3745/KTSDE.2013.2.1.19
10.3745/KTSDE.2013.2.1.19
Indexing
All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.
KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).
